Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
771	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
772	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionUnder developmentW. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: ftp.cixug.es Language: English - Date: 2015-05-30 13:10:07 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
773	Financial Numerical Recipes in C++. Bernt Arne Ødegaard June 2014 5.1 Add to Reading List Source URL: finance.bi.no Language: English - Date: 2015-03-04 14:06:11 Mathematical finance Options C++ Procedural programming languages Cross-platform software Binomial options pricing model Black–Scholes Namespace Implied volatility Financial economics Software engineering Computing
774	©DIGITALVISION F E A T U R E Design, implementation, and salient features Add to Reading List Source URL: iel.ucdavis.edu Language: English - Date: 2005-05-18 17:14:04 Cross-platform software Array programming languages Web development MATLAB Numerical linear algebra World Wide Web Control theory Java applet C Software Computing Mathematical software
775	Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation Xiaoyuan Xie1 , Fei-Ching Kuo1 , Tsong Yueh Chen1 , Shin Yoo2 , Mark Harman2 1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-06-04 04:02:31 Genetic programming Mathematical optimization Operations research Risk Management Ethics Actuarial science
776	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionUnder developmentW. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: brieger.esalq.usp.br Language: English - Date: 2015-05-29 13:12:41 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
777	An introduction to R Longhow Lam Under Construction Feb-2010 some sections are unfinished! longhowlam at gmail dot com Add to Reading List Source URL: cran.csiro.au Language: English - Date: 2010-10-28 06:44:47 Functional languages Econometrics Regression analysis R Array programming languages Ggplot2 Plot SAS Linear regression Statistics Software Mathematical software
778	Distance Constraints in Constraint Satisfaction Emmanuel Hebrard 4C, Computer Science Dept. UCC, Ireland Barry O’Sullivan Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:33 Computing Local consistency Constraint satisfaction Backtracking Mathematical optimization Decomposition method Constraint optimization Constraint programming Software engineering Computer programming
779	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.gis-lab.info Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
780	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic

UPDATE